Section: Bilateral Contracts and Grants with Industry
Scytl - Electronic Voting Systems
Participants : Véronique Cortier, Mathieu Turuani.
Since 2014, a collaboration agreement has been signed between Loria and Scytl, a Spanish company who is proposing solutions for the organization of on-line elections, including legally binding elections, in several countries. In this context, Scytl has signed a contract in 2016 with the Pesto team as well as the University of Birmingham (David Galindo) to design a formal proof of both verifiability and privacy of the protocol developed by Scytl, for a deployment in Switzerland. The result of the analysis will be presented at the conference EuroS&P'18 [23].